Relaxed Continuous Views of Discrete Event Systems: Petri Nets, Forrester Diagrams and ODES
نویسندگان
چکیده
Petri nets (PNs) constitute a formal paradigm for discrete systems. Some discrete models can be relaxed into continuous models. Infinite server semantics continuous Petri nets (ISSCPNs) is one of the most relevant timed interpretation of Continuous PNs. ISSCPNs can be seen as piecewise linear systems. Forrester Diagrams (FD) are specific modelling tools inside System Dynamics, a methodology for the analysis of complex continuous systems. This paper explores and compares the modelling power of both formalisms, ISSSCPNs and FD. Previous comparative views focused on the formalisms and on positive and compartmental systems, constitute the basis of this work. The comparison is complemented taking into account the interpretation of linear ordinary differential equation systems (LODES), the information delays and some methodological considerations. ISSCPNs permit to model any LODES when known upper and lower bounds of the state variables exists. Therefore systems with cyclic behaviour or delays in the information can be modelled.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملHybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کامل